differentiate 1/2 (log(x^2+1)+(x^2+1) tan^(-1)(x)^2-2 x tan^(-1)(x))